Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·2d
🎯Performance Proofs
Can We Build Trustable Hardware? (2019)
bunniestudios.com·36m·
Discuss: Hacker News
🔒Hardware Attestation
A low-cost protocol enables preparation of magic states and fault-tolerant universal quantum computation
phys.org·2h
⚛️Quantum Error Correction
Breaking AI Testing Barriers: Dynamic Assertions and AI Automation Deliver 1000%+ Productivity Gains
engineering.salesforce.com·17h
🔍Concolic Testing
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·2d
✅Format Verification
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·4d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Future Research in XP Modeling: A Call for Self-Learning Models
hackernoon.com·20h
⚙️Operating System Design
Automated Anomaly Detection in Electrochemical Etching Microstructures via Multi-Modal Analysis
dev.to·20h·
Discuss: DEV
📄Document Digitization
A tiny firm wants to slash energy consumption by changing the way CPUs are designed - and it is even planning a new high performance server chip
techradar.com·19h
🖥️Hardware Architecture
Fact-checking when blogging
perrotta.dev·4h
🔗Online Curation
01 Getting Started with the Trenz TE0950 Board
hackster.io·1d
⚡Homebrew CPUs
Working with Contexts
oreilly.com·2h
🔗Constraint Handling
ReST-RL: Achieving Accurate Code Reasoning of LLMs with Optimized Self-Training and Decoding
arxiv.org·8h
💻Local LLMs
It's a Trap - Reliable Exploitation of CVE-2024-30084
scrapco.de·5h
🎯NTLM Attacks
From Black Box to Blueprint
martinfowler.com·1h
🏛️Mainframe Archaeology
CPU Branch Prediction – Earliest Forms of Machine Learning
medium.com·20h·
Discuss: Hacker News
⚡CPU Microarchitecture
Simulating the Commodore PET
hackaday.com·1d
🎮Gameboy Emulation
Huawei to open-source its UB-Mesh data center-scale interconnect soon, details technical aspects — one interconnect to rule them all is designed to replace ever...
tomshardware.com·20h
🏠Homelab Federation
Even Heads Fix Odd Errors: Mechanistic Discovery and Surgical Repair in Transformer Attention
arxiv.org·8h
✨Effect Handlers